well-ordered set
- 网络良序集；全序集合是良序集合；成序组
well-ordered setwell-ordered set
良序集
翻译与翻译辅助工具-... ... 良序［的］||well-ordered 良序集［合］||well-ordered set 良序原则||well-ordering principle ...
全序集合是良序集合
良序集合:有头元素的全序集合是良序集合(well-ordered set)泛序关系:广泛的次序eg:'(5 (4 . (3 . ()))(2 . (1 . ())))=>(5 (4 3) (2...
成序组
凡类组成此种系列关系的即叫做是「成序组」(well-ordered set)。一个成序组即是其中每一副组都有一第一分子或第一项的一个 …